git push origin --delete <branchname>
